-- MAIN == 7 
DEF fun(param1:nat, param2:nat):nat == add(param1, param2)
DEF MAIN:nat == fun(2,5)
DEF dummy2():nat == 18
